(DEFPROP PNAME
 (LAMBDA NIL
  (OUTC (OUTPUT T PNAME))
  (LINELENGTH 72.)
  (PRINC '"MK<")
  (MAPATOMS
   '(LAMBDA (*MIN)
     (AND [LITATOM *MIN]
	  [NOT (INUMP (GET *MIN 'PNAME))]
	  [NOT (MEMB *MIN '(<P < > ->))]
	  [PROGN (COND [(NOT (*LESS (FLATSIZEC *MIN) (*DIF (CHRCT) 3.)))
			(PRINC '">")
			(TERPRI)
			(PRINC '"MK<")]
		       [T (PRINC '",")])
		 (AND [SETQ *MAX
			    (SOME '(LAMBDA (L) (MEMB L '(59. 40. 41. 44. 92.)))
				  (AEXPLODE *MIN))]
		      [PRINC '"<"])
		 (PRINC *MIN)
		 (AND *MAX [PRINC '">"])])))
  (PRINC '">")
  (TERPRI)
  (PRINC '"MKSTR<")
  (MAPATOMS
   '(LAMBDA (*MIN)
     (AND [STRINGP *MIN]
	  [NOT (INUMP (CDDR *MIN))]
	  [PROGN (COND [(NOT (*LESS (FLATSIZEC *MIN) (*DIF (CHRCT) 3.)))
			(PRINC '">")
			(TERPRI)
			(PRINC '"MKSTR<")]
		       [T (PRINC '",")])
		 (AND [SETQ *MAX
			    (SOME '(LAMBDA (L) (MEMB L '(59. 40. 41. 44. 92.)))
				  (AEXPLODE *MIN))]
		      [PRINC '"<"])
		 (PRINC *MIN)
		 (AND *MAX [PRINC '">"])])))
  (PRINC '">")
  (OUTC NIL T))
 EXPR)